The Rust Journey of a JavaScript Developer • Day 4 (1/5)
doc.rust-lang.org·7h·
Discuss: DEV
🦀Rust
How to Test
matklad.github.io·14h·
Discuss: Hacker News
📐formal specification
Breaking Verifiable Abstractions
alperenkeles.com·14h·
Discuss: Hacker News, r/programming
📐formal specification
Devlog #7: Slowly But Surely
tim-mayoh.bearblog.dev·5h
🪜Scala
Applying OOP in ASP.NET Core
dev.to·1d·
Discuss: DEV
🪜Scala
Orchestrating IC verification: Harmonize complexity for faster time-to-market
semiwiki.com·13h
📐formal specification
Solving Claude Code's API Blindness with Static Analysis
martinalderson.com·14h·
Discuss: Hacker News
💻Claude
DeepQuali: Determining Software Quality with AI
blog.qaware.de·19h·
Discuss: Hacker News
📐formal specification
Baby's first type checker
austinhenley.com·1d·
Discuss: Lobsters, Hacker News
🔧PLT
A Quick Debugging Tip
irreal.org·9h
🔧PLT
things rust shipped without (2015)
graydon2.dreamwidth.org·1d·
Discuss: Lobsters, Hacker News
🦀Rust
🎲 Databricks Data Engineer Professional Exam Study Notes
vladsiv.com·2h
📐formal specification
CppCon 2025 Back to Basics: static, inline, const, and constexpr -- Andreas Fertig
isocpp.org·6h
🔧PLT
Discriminated Unions and Enums: a modest implementation.
github.com·12h·
Discuss: r/golang
🪜Scala
Normalisation of SWIFT Message Counterparties with Feature Extraction and Clustering
arxiv.org·22h
🪜Scala
Bootstrapping a Forth for Art
tia.mat.br·2d·
Discuss: Lobsters, Hacker News
🔧PLT
original ↗
raymondcamden.com·1d
🪜Scala
Days 18-19: Weekend Reflection - Our Responsibility to Recent CS Graduates
youtube.com·4h·
Discuss: DEV
📐formal specification
Abstract Machine Models Also: what Rust got particularly right
dr-knz.net·1d·
Discuss: Hacker News
🔧PLT
Systems Engineering for Agentic Applications
agenticapplications.substack.com·13h·
Discuss: r/programming
📐formal specification